Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
71	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
72	２０１３年２月ｘｘ日 Add to Reading List Source URL: www.csis.tohoku.ac.jp Language: English - Date: 2013-02-20 00:31:04 Integrated circuits Electronic design Digital electronics Field-programmable gate array Computer Electronic circuit Logic synthesis Application-specific integrated circuit Logic family Electronic engineering Electronics Electromagnetism
73	Call for papers 21th International Symposium on Logic-Based Program Synthesis and Transformation http://users.dsic.upv.es/~lopstr11/ 18–20 July, 2011, Odense, Denmark (co-located with PPDP 2011, AAIP 2011 and WFLP 2011 Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2011-03-28 09:25:03 Computer science Computing Software International Symposium on Logic-based Program Synthesis and Transformation Logic programming Cyc
74	Automatic Synthesis of Rules for Planning in Belief Space Leslie Pack Kaelbling MIT CSAIL Cambridge, MAEmail: Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Stochastic control Control theory Logic in computer science Partially observable Markov decision process Fluent Probability Markov decision process Statistics Dynamic programming Markov processes
75	GENOM-POF: Multi-Objective Evolutionary Synthesis of Analog ICs with Corners Validation Nuno Lourenço Nuno Horta Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:17 Electronic design Digital electronics Integrated circuits Integrated circuit design Design closure Design flow Logic synthesis Very-large-scale integration Integrated circuit Electronic engineering Electronics Electronic design automation
76	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
77	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
78	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings
79	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
80	Increasing Design Productivity Through Core Reuse, Meta-Data Encapsulation, and Synthesis Adam Arnesen, Kevin Ellsworth, Derrick Gibelyou, Travis Haroldsen, Jared Havican, Marc Padilla, Brent Nelson, Michael Rice, and Mi Add to Reading List Source URL: www.chrec.org Language: English - Date: 2013-03-11 16:17:15 Electronic design Computer buses Integrated circuits Logic design Semiconductor intellectual property core IP-XACT Advanced Microcontroller Bus Architecture Application-specific integrated circuit Integrated circuit design Electronic engineering Electronics Electromagnetism

UPDATE